301. Introduction to logic programming
Author: Hogger, Christorpher John
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
H624
1984
302. Introduction to parallel computing :
Author: Roman Trobec, Boštjan Slivnik, Patricio Bulić, Borut Robič.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel programming (Computer science),Control Structures and Microprogramming.,Numeric Computing.,Processor Architectures.,Programming Techniques.,Algorithms & data structures.,Computer architecture & logic design.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Systems Architecture-- General.,Mathematical theory of computation.,Parallel processing (Electronic computers),Parallel programming (Computer science)
Classification :
QA76
.
642
303. Introduction to real - time software design
Author: Allworth, S. T.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Real-time data processing,، Programming )Electronic computers(
Classification :
QA
76
.
54
.
A44
1984
304. Introduction to real-time software design
Author: Allworth, S. T.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Real-time data processing,، Programming )Electronic computers(
Classification :
QA
76
.
54
.
A44
1987
305. Introduction to system programming; proceedings of a symposium held at the London School of Economics, July, 1962
Author: edited by Peter Wegner,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Programming )Electronic computers( - Addresses, essays, lectures
Classification :
QA
.
W43
76
1964
306. Intructor's guide to accompany introduction to computer science with applications in PASCAL
Author: Garland, Stephen J
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Electronic data processing,، Electronic digital computers - programming,، Algorithms,، Pascal )computer program language(
Classification :
QA
76
.
G315
1986
guide
307. It's all about coordination :
Author: Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
58
.
I87
2018eb
308. Java 2 certification exam guide for programmers
Author: / by Barry Boone and Willam R. Stanek
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic Data Processing personnel certification,Programming languages - (Electronic computers) -- Examinations -- Study guides,Java (Computer program language)
Classification :
QA
76
.
3
.
B658
2000
309. Java 2 certification exam guide for programmers and developers
Author: Boone, Barry
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic data processing personnel-- Certification,، Programming languages )Electronic computers(-- Examinations,، Java )Computer program language(
Classification :
QA
76
.
3
.
B658
2000
310. Java 2 certification training guide
Author: / Jamie Jaworski
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing personnel--Certification,Programming languages (Electronic computers)--Examinations--Study guides,Java (Computer program language)
Classification :
QA
,
76
.
3
,.
J39
,
1999
311. Java 2 certification training guide
Author: / Jamie Jaworski
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Electronic data processing personnel- Certification,Programming languages (Electronic computers)- Examinations Study guides,Java (Computer program language)
Classification :
QA76
.
3
.
J39
1999
312. Java 2 certification training guide /
Author: Jamie Jaworski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing personnel-- Certification.,Java (Computer program language),Programming languages (Electronic computers)-- Examinations, Study guides.,Electronic data processing personnel-- Certification.,Java (Computer program language),Programming languages (Electronic computers)-- Examinations.
Classification :
QA76
.
3
.
J39
1999
313. Journal on data semantics VII
Author: / Stefano Spaccapietra ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Semantic Web.,Ontology.,Semantics--Data processing,Programming languages (Electronic computers)--Semantics
314. Journal on data semantics VIII
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Semantic Web. ; Ontology. ; Semantics ; Data processing. ; Programming languages (Electronic computers) ; Semantics. ;
315. Journal on data semantics XIII
Author: Stefano Spaccapietra, Esteban Zimányi, Song, Il-Yeol (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ontology,Programming languages (Electronic computers)-- Semantics,Semantic Web,Semantics-- Data processing
Classification :
QA76
.
7
.
J63
2009eb
316. Knowledge- based programming
Author: Tyugu, E. Kh. )Enn Kharaldovich(, 5391-
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Artificial intelligence- Data processing,، Programming )Electronic computers(
Classification :
Q
336
.
T9813
1988
317. L'informatique et les systemes
Author: Dupuy, Roger
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic data processing,، Electronic digital computers-- Programming
Classification :
QA
76
.
D83
318. La method informatique; conception et realisation de l'informatique de gestion
Author: Mallet, Robert A
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Management information systems,، Electronic data processing-- Business,، Programming )Electronic Computers(
Classification :
Q
111
.
A3
no
.
1340
319. La methode informatique; conception et realisation de L'informatique de gestion
Author: / Robert A. Mallet
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Management information systems,Electronic data processing - Business,Programming (Elctronic computers)
Classification :
658
.
054
Ma-M
320. <La> technique informatique
Author: / par Helene Bestougeff, Christian Guilpin et Michel Jacques
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Electronic digital computers--Programming,Numerical analysis--Data processing
Classification :
QA76
.
6
.
B4
